Instance Verification Kit (IVK)
spin lock @ [10000+22+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
gr_dequeue
[43863+10+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_dma_advance
[11253+14+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_ep0_setup
[27470+12+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_ep_disable
[41844+13+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_ep_nuke
[18258+10+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_finish_request
[9032+17+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_handle_in_ep
[32488+15+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_handle_out_ep
[33132+16+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_handle_state_changes
[34563+23+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_irq_handler
[36703+14+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_stop_activity
[21101+16+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_udc_stop
[48636+11+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_udc_usbreset
[31872+15+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]
gr_vbus_disconnected
[31530+20+/linux-3.17-rc1/drivers/usb/gadget/udc/gr_udc.c]